Liquid types
https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf
https://arxiv.org/abs/2207.04034
rust